SizedTypesFunctionFromSuccSize.agda:11,1-13,18
Termination checking failed for the following functions:
  bad
Problematic calls:
  bad zero
    (at SizedTypesFunctionFromSuccSize.agda:12,15-18)
